Ian Stark - PDFSEARCH.IO - Document Search Engine

Ian Stark
Results: 36

#	Item
21	Advances in Programming Languages APL10: Bridging Query and Programming Languages Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-28 19:19:19 Software engineering SQL Relational database management systems Language Integrated Query Domain-specific language Declarative programming Programming language Microsoft SQL Server Stored procedure Data management Computing Query languages
22	Advances in Programming Languages APL7: Polymorphism from Types to Kinds and Beyond Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-11 21:20:45 Computer programming Object-oriented programming Polymorphism Data types Functional programming Ad-hoc polymorphism Parametric polymorphism Type class Function overloading Software engineering Computing Type theory
23	Advances in Programming Languages APL14: Practical tools for Java Correctness David Aspinall (slides originally by Ian Stark) School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-12 12:50:26 Java Modeling Language Java platform ESC/Java Vienna Development Method Java Class invariant E Computing Software engineering Computer programming
24	Advances in Programming Languages APL6: Types, Classes, Haskell Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-07 19:06:11 Programming language theory Haskell Structural type system Type signature Nominative type system Polymorphism Abstract type Type class Java Software engineering Computing Type theory
25	Advances in Programming Languages APL12: Language Augmentations and Correctness David Aspinall (some slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-09 11:24:01 Procedural programming languages Cross-platform software Theoretical computer science Logic in computer science Type theory Type system Programming language Formal verification C Computing Software engineering Computer programming
26	Advances in Programming Languages APL2: Concurrency David Aspinall (including slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-09-21 15:39:34 Java concurrency Thread Multi-core processor Concurrency Lock Go Parallel computing Computing Concurrent computing Computer programming
27	Advances in Programming Languages APL9: Using SQL from Java Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-25 19:34:32 SQL Relational database management systems Select Domain-specific language PL/SQL Microsoft SQL Server Data management Computing Query languages
28	Advances in Programming Languages APL11: Heterogeneous Metaprogramming in F# Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-02 14:15:55 Query languages Relational database management systems .NET framework Language Integrated Query Metaprogramming SQL Preprocessor Domain-specific language C++ Computing Software engineering Computer programming
29	Advances in Programming Languages APL13: Assertions and Hoare Logic David Aspinall (most slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-08 17:16:25 Program logic Logic in computer science Propositional calculus Model theory Hoare logic Philosophy of language First-order logic Assertion Axiom Logic Mathematics Mathematical logic
30	Advances in Programming Languages APL4: Coursework assigment topics Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-01 08:46:14 Functional languages Evaluation strategy Programming paradigms Functional programming Flapjax Functional reactive programming Haskell Reactive programming Programming language Software engineering Computing Computer programming